For backward compatiblity (for example with Proof), re-add support for .include