Update 3

Last update for allegrolog, which keeps changing >:(