fix SYNJITSU debug info