Fix ava4 build