First I transformed all existing hashes:
(maptable [list 'sha512_sha1 (sha512 _)] hpasswords*)
(= hpasswords*.user (list 'sha512 (sha512 password)))