more raxml tweaks