git grep -l '<stdint.h>' | xargs sed -ri 's/<stdint.h>/"stdint.h"/'