libxsvf svf2xsvf.py codes patch accepted upstream