Ubuntu 12.04 ships with pandoc w/o docbook support. Had to regenerate this file on a Mac.