fix travis, possibly