an even newer WALA version