post-heartbleed rekey