support newer versions of Ubuntu than 12.04