-- fix bugs in configure file