put InstalledSize in debian package control file