Travis build: Fix bashism