Check this tutorial - Server credential reset utility for Linux-based platforms - #151 by pastadude . It worked for me.