Also, can we just rely on bats already being installed on a user's machine? It's easy enough to get it onto travis.