Getting the travis setup right