fault: get fault.c ready for use by s4