Linux: ignore unknown pragmas