keep_docs.diff debian-changes-1.3.40-3 add_stddef_header