A small edit to the sysconfig file name.