I lied, now advdecode reads 64 bits.  on the common platform too