Fixed travis script, for real this time ?