Separated model name (= executable) and stanfile name