[C2hs] patch applied (c2hs): Change handling of gnu __extension__ keyword