use a different filename (don't mess up configuration, once set)