Thanks for the quick reply, unfortunately I can only check things tomorrow afternoon (3AM now here) as the system became unreachable about half an hour after I posted, and I couldn't call the person housing it that late to give it a hard reboot. So, feel free to proceed with the update of course... and I'll keep you posted with how it goes.