swallow compilation

.