o Support user provided logfile option and default to bitmask.log otherwise. Fixes #4153.