a few tweaks for cmake