Moved repeated genint1.h files to the global directory.

diff --git a/src/int/genint1.h b/src/global/genint1.h
similarity index 100%
rename from src/int/genint1.h
rename to src/global/genint1.h

diff --git a/src/head/genint1.h b/src/global/head_genint1.h
similarity index 100%
rename from src/head/genint1.h
rename to src/global/head_genint1.h