Fix for the Travis build script