Fix the include config.h problem

We copy m.h and s.h to the runtime directory immediately after generating
them, instead of waiting for the installation stage. That way we both get
of the ugly config symbolic link, and we avoid the ugly includes in config.h