Revert "Revert "Revert "Force using boeffla"""

This reverts commit bd237187daba9a202c7dd6daf3ec8ba1ac586143.