a one-use script, no longer needed