Travis check 2

These four lines should not do anything but they seem to fix the build problem.