BRANCH 4.2-DEV: added missing file