deutsch squirt compilation

.