minor changes to cmake