delete useless files, fix bugs under ubuntu 12.10