Fix for Travis-CI build (linux)