Fix 'make checkdist' by adding the missing asn1 file