workaround for biorob-cmake-utils bug #2