Dummy upgrade again (special thanks to OVH sysadmins for unnotified changes in the Ubuntu mirror structure)