fix compile with USE_PETSC_BACKEND enabled

Conflicts:
	src/thread_vis.cc