misc stuff for travis ci