No, this is a provided header. No use to fix it up to RIOT style.