HDMI-cec improved in shell scripts