hopefully temporary hackery in cmake files