goldxxx compilation

.