Sync config-ml.in with GCC trunk