exec ./config_simple.sh ia32-linux "$@"