Update MuxPC.v