Fix check-interpreter.mk stuff
