python obter carimbo de hora no arquivo no formato mm / dd / aaaa

Estou tentando obter o registro de data no arquivo no formato mm / dd / aaaa

time.ctime(os.path.getmtime(file))

dá-me um carimbo de hora detalhadoFri Jun 07 16:54:31 2013

Como posso exibir a saída como06/07/2013