Hopefully fixed travis config