[80] Applying mageia linux fix for missing functional header