Update mux.vhd