This whole file is not needed for this minimal version, no?