In order to ease the requirements and enable CI testing again, we need to import the OMPT header into the project.