Fix Travis build config