🐛 set numerical UID/GID in Docker image

#1805
1 job for devel