Posibrain fixes (double name, protolathe, double binary)