Added fix for DLL_kernel32.cs