A flychecker for checking ledger files