fixed alu1 encoding again :|