Add option for Debian/Ubuntu distros other than default "precise".