Detect proper Ubuntu version

DELETE THIS PULL REQUEST.