build-env: [
  [ COQ_CONFIGURE_PREFIX = "%{prefix}" ]
]