altos: bad-jar-name usr/share/java/altoslib_13.jar
altos: bad-jar-name usr/share/java/altosuilib_13.jar