Recently patched Ubuntu needs another quick patch