Fix bug #148 (port width setting for files is now reflected by output-port-width)