Build #716:   fix build on branch dev 5 days ago