t use the pipe mechanism anymore (no patching of minimserver.sh) but use the HTTP port