ugly workaround for cmake problems on some(?) platforms..
(i really think this might break some time as well... maybe we have to rethink the whole cross compilation approach)