docbook: fix s390 fatal error after header files moved