Travis-CI: hopefully fix the build