removing library and include from git repos
you need to run retrieve_extern once to get all these files