• Ubuntu 18.04 (from Rui Lopes rgl@ruilopes.com):