Revert "use include instead of exclude; it is easier to understand and extend"

This reverts commit bb1b89afa030ceb58721cf7c1c28f7f088eeb597.