This reverts commit 841817b1. Ah, it still fails on build bots for some reason. Pinning the target triple was not enough.