Makefile.shared: debugging line slipped through in previous commit.