tools: make ghciweb fixes