add the usual include-all-of-module header