Fixes #4122: Update version of Ubuntu maintained