(hopefully) fixed travis