Thanks, but as far as I read it, it's all about the library file names mismatch, which is mostly covered by guides I mentioned earlier. I've done that and I got my DaVinci running. It was just audio output that did not work, despite hours spent on trying to get it work.