more fixups to the travis file