devtools: remove check-includes script