(temp) fix cmake build on linux