Interrupts and include headers

Hold down the shift key when clicking the verify button. You will get lots more output, including the path where the temporary files are created during the compile process. One of the files will be a cpp file created from your sketch. You will be able to see what the IDE does to your sketch, including what header files it adds. Some of them include other stuff, so you may have to dig to see where interrupts.h gets included, if indeed it does.