Fix handmade aligned malloc and free
Merge branch 'develop' of github.com:zhouyan/vSMC into develop