nfrerebeau Fix Travis config