minor fix to cmake files