fix "ninja check"
oops, revert part of 08b16e9fd16d7cfd5e387eac8e269a16e9cbe446.