DLL export several APIs needed for phpdbg