Clarifying how you get the stub files