add a -vga none cli option (Stefano Stabellini)