Fix cmakefiles