ignore "GLX_P2T.mli" which is a generated file