Fixing cmake configuration for Linux