Obsolete shell file.