Make align() work even on machines with 32-bit chars