updated x86_64-linux-3.7.2_config