Delete auxlib.java