Thanks for the report Mario. I verified that those files can be safely removed from the binary package indeed. Good catch!
Thanks for the report Mario. I verified that those files can be safely removed from the binary package indeed. Good catch!