dri: delete gen-symbol-redefs.py