formatting around aes-crypt.h