fixed debian manual for latest version