Fix code contracts build settings