More space do Docker runtime files.

Issue #8.