Fix for figuring out gndk-dbg.py directory