add lib32porter.a