Dockerfile, small changes for running inside Docker