try to solve the weird (travis-specific?) install issue