Makefile: Explicit stdin from terminal, so `make -j' builds work.