Added some files needed for ./configure