another tiny cmake fixes