[polyml] polyc with different base executable