workaround to work with w32