Mojave 14.2: everything works but the HDMI output