mention 14.04 and even faster generation