I would like to avoid that as the proprietary driver requires downgrading of xorg. And my vga is old and as I see it is not well supported by the proprietary driver. I may eventually try that but as I already said I don't like the idea of downgrading xorg.