generate lib/stdalign.h