FIX get-src: interrupted checkout should not be moved to a proper directory name