We found mvn in configure, use that one.