Don't require profile binary representations to be 32 bits