Fixed minor bugs on configure.in