These Makefile entries can be removed now too — `issue_137` is no more.