I finally found an old hdmi/mini-hdmi cable that I shaved with a knife so it now fits side by side of the usb-c cable (which is good quality so I really not wanted to touch it).
For a more long term solution, I ordered a usb-c docking with multiple usb 3 for keyboard/mouse and also with a HDMI output. I will see if it works.