updated src after recent(?) mangos changes