Just so I don’t forget – a working curl command for changing the admin password is:
curl -u admin:theOldPassword -Fplain=theNewPassword -Fverify=theNewPassword -Fold=theOldPassword -FPath=/home/users/a/admin http://localhost:8880/crx/explorer/ui/setpassword.jsp