ECGroup_print fix
Merge branch 'dev' of github.com:JHUISI/charm into dev