add rb133c binaries to rete/firmware