Minor rejig of Travis build file