Delete vki-scnums-gnu.h