Setting correct path to WALA stubs