add stuff for Travis-CI