Stuff for travis I guess