Fixes paths so Docker can run.

For issue #72.