update allegro manifests and symbols