adding debugging symbols to witd-arm