pymake: implement ExternalTarget()