more changes for travis-ci