fixed bug in ascon96v1/opt64