minor changes to allow correct copying of Mantid.user.properties at the end of the build