Trying a temporary solution to get our Linux build to work on Travis-CI.