Another possibility is to move all noninstalled sysdeps headers into sysdeps/.../include directories. Then they can never be accidentally installed, and it's clearer just from the file's full name whether it will be installed or not. Either way, your change is an incremental improvement today.