TEST: use other directory 'distrodestdir' to store the downloaded ISO other then hardcoded /tmp