Nasty security bug found and fixed in Linux apt