enhance osdbg.sh to include OF13