docbook: fix fatal filename error