Fixed final name of production version of GUI in pom.xml.