sloppy head compilation

.