updates to work with Travis CI