use p4merge as external merge tool