make moved files final
was done while I was working on them locally, and merge cancelled this change
Authored by: thibautd 2015-05-07
Parent: [r33005]
Child: [r33007]