Fix minor bugs of config.m4