I don't remember S- product version numbers offhand, but my understanding is that Symbolics hasn't yet released versions for Genera 8.0. If you're trying to load 7.2 binaries in 8.0 then the errors you got don't seem surprising.