forgotten libs/gap files