fix even more stupid travis bug