mv /usr/local/include/toto.h toto.h.org
cp /usr/include/toto.h /usr/local/include/
gcc [...]
mv /usr/local/include/toto.h.org toto.h

Comment ça c'est pas joli ? Moi ça m'irait très bien, mais c'est sûrement tout sauf académique.