Possible fix for build server compilation problem