update configuration files for x86_64