another fix for GHCJS on Windows