Thanks ! I had the same trick, but I came back to my old W7 premium as my HDMI output was no more working with W10. Microsoft support was unable to help me… No more problem now…