Delete svkl64.ppx