Bug fix in Travis build script