Forgot to add src/batch.cpp