Including examples in extra-source-files