Don't double-start Acl2