Correct library reference to version with 64-bit support

Special request: The last change to this spec earlier today was broken. This fixes the library reference to the correct name.