adding a convenience "inst" directory to ignore