More fixes in Docker configuration and help scripts