Change C style to Gnu for Pintos