Print JBMP_VERSION in build config