Another fix of the precompile.sh issue, this time keeping the proper
dependencies. This fix counts on that the -t argument to touch is
indeed standard, and that make's in general restat the targets after
Also touch appropriate files in full_export to ensure that the
.h_src.h rule doesn't trig unnecessarily.