sci-mathematics/acl2-6.3: clean up