There are no .idr files in test034