Fix build on win32: add missing export