Update docker-dev to 0.7.2