Swap JAL/JALR encoding; various GCC fixes