remove forgotten ASDF file