(Hopefully) fix Travis