Disable Unimacs for the moment