mv 13.ex to 12.exref; install all the sources