Raxml: hacks to get pdt tau instrumentation to complete