Magic numbers...

And our debian server installation size at the moment is:

6291456 - (3808624 - (286884 + 2788684)) = 5558400