// Prefix is already included in the various paths
//IO::print(out, "prefix=%s\n", pkg.get_prefix());
IO::print(out, "source=%s\n\n", spkg.get_source());
// Prefix is already included in the various paths
//IO::print(out, "prefix=%s\n", pkg.get_prefix());
IO::print(out, "source=%s\n\n", spkg.get_source());