The original commit was reverted in 58c305f4 due to broken bots. This commit corrects the triple and command line paths.