fix for Heartbleed bug (affecting Windows build only)