Update make deps (thanks sim642); probably closes #507 for now.
Update make deps (thanks sim642); probably closes #507 for now.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer