Removed wildcard from batchfile

[paulchannelstrip]

I included the wildcard at the end of the ghci command in the batchfile to mimic as closely as possible the tidal shell script, but I noticed during use today that it was causing an annoying (though ultimately harmless) warning message.