fix bugs in configure file