Fix more name-mangling-related errors in potatolytics