Fix for Linux needed to build Keyhotee.