update some files, now giri can be compiled in llvm-3.4.2, fedora20