update firefox-bin
ACL2 version bump
fix bug on rubinius