add some debugging output to diagnose version problems