Minor fix for linux installer.