auxtools fix