[ET Trac] [Einstein Toolkit] #407: Rebuild from scratch when the option list file name changes