brian/prod: links for batchopenmpi
root/pypi
batchOpenMPI-0.2.2.tar.gz