Fixed the tagcrypt library name.