don't set user to dev

That can be left to the host, who will sometimes want to run things
as root.