of standard modules is stored in their source, such auxilliary files
should be as well.