hopefully fixing travis CI