Small edit of cmakefiles