Keep default input format for Aegisthus

We should make this configurable.