The .mfluxrc depends on the mediaflux home and the port numbers