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 making them. Also touch appropriate files in full_export to ensure that the .h_src.h rule doesn't trig unnecessarily. Rev: src/Makefile.in:1.237