Fixes to linux cmake