ticket #1481: forgot the new file in the build