This reverts commit 04e955841f. It looks like we can just remove `-pipe` for the CI to complete.
04e955841f
num_jobs