Fix Manubulon include file

fixes #7123