A modified version of mv, used to convert filenames to lower/upper case
