more debug stuff in osdbg.sh