changes to the wala-submodule