Fixed a filename issue with digits for redtube.