Utility scripts for xGDB and xGDBvm