fix cmakefiles on linux