Added command line option to the distil command enabling use of a different compiler executable.