hdlibc update and style update