Handle correctly x.y Linux release numbers. Fixes #2