Fix b43 generation