Issue #12: Output file naming (with port names)