fix SAGERUNTIME and cleanup scripts/extcode targets