small tweaks to cmake for linux