Edit File: binfmts.h