Automatically add STEX extension to otherwise unused include files