#4137 Fixing build on server