Fix the sh5util command line option.