Fix Trac #3468: improve checking for hs-boot interfaces