emit relative rather than OS-specific path in HTML (when not self-contained)