solo compilation

.