Remove extraneous Extension include
Merge pull request #1 from Peter200lx/cleanupdist

Remove extraneous Extension include

Thanks Peter!