use the numbered naming scheme for ini file