Remove odd recursive call in the driver/ghci Makefile