remove obsolete filename from publish script