add ml-32bits library