We need getopts in /usr/local for xmlto generation to work correctly