When targets with non-PRIVATE FILE_SETs are exported, the generated export files refer to these files. That is why they must be installed when the target itself is installed.
Note that BMI installation is possible, but nothing will do anything with them at the moment (reusing them is…a future endeavor that will likely need compiler assistance). I would avoid BMI installation for now.