Add missing 32bits library