Use an option alias to implement -gmlt

Review feedback from Reid Kleckner on r203603.