build.sh: build patmos-emulator