Hey Sanjung,
I'm running into the same problem as you, but I have many files that are not found. After I move the mali_linux_trace.h like you did, another file was shown as not found.
I am wondering, did you move all the required files to your driver directory? Did you end up getting this working with DS-5 Streamline?
Thanks!