Now make a travis config that works