Try to fix intermittent test_dbgsocket.js (bug 775924); r=me