A few configuration adjustments for Protégé build