../configure/gnu-configure-args.sh