(OSD BRANCH) Moved some debugging related options to osd_options and made selection of debugger to work