Fixes #1969: Use setProperties instead of MAVEN_OPTS to set install-file options