explicitly describe how to get CDK sources