added the needed files. currently set for GCC 4.7.1