Fix Bluecove build in an ugly but still maintainable way