Fixed bad shell syntax in CI config.