add wala and libraries