This reverts commit 93e1de31.

Not sure why the environment is not getting activated in CI, when
it is even when using 'sh' (rather than 'bash') when running the
Docker container manually.
This is too much hassle to carry on with at any rate.