bug fix on configure files