Added file output for FiatKiller