small changes to travis, trying to make it work