Possibly fix OSX startup error in batch converter (#1501).