configure: fix print_config() with broke awks