Use repo2docker for building singleuser images