Properly discover that cc is gcc on linux
Bug fixes when using OpenMP