Fix Travis build configuration