Ubuntu 18.10 released: improved game performance