Fix travis config misprint
Merge branch 'update' into update.linux