goldtik tok compilation

.