Minor improvements to ARM tools.