Fix #13247: get `make check-stage1` working again

Fix #13247.

r? @alexcrichton  (or anyone else, really).