various compilation

.