> How can I get rid of these?

By running make. It speeds up subsequent builds, so I find it a good
idea to run make when I get too many of these.

Reply via email to