Argh, it would seem that we really need to export PROCS in our Travis-CI script.