minor tweaks for raxml