fault-injection: do not include unneeded header