Add remaining Win32 0.40.12 symbols