removed Short/bug_554 from Short/ok_s.lst