Correction on debian package list to install