fix non-GHCJS compilation#1566

peterbecich wants to merge 6 commits intogoogle:mastergoogle/codeworld:masterfrom

peterbecich:fix-non-ghcjs-compilationpeterbecich/codeworld:fix-non-ghcjs-compilationCopy head branch name to clipboard