Use BNFC_VERSION instead of *