using MANIFEST's implementation-version