Fixing the travis build system