Fix build error

Signed-off-by: Richard Chapman <rchapman@hpccsystems.com>
Merge pull request #4000 from richardkchapman/build-error

Fix build error