We insert module use clauses to point to our special modules responsible
for supplying the relevant headers.