hopefully fixed now for travis