Update PATH in build for Maven.

This only exports the new path if we aren't on Jenkins.