WIP: fixing travis