Fix misnamed trapezoid files