Delete svkl32.ppx