Revise ignored files for psc-make change
Improve Arb instance