stick with docbkx 2.0.15 for a while