Remove headerfiles from old brkfix library