goldpov missionary compilation

.