#4137 Fix build