Fix RBin DEX header check (blame @jvoisin)