debian installation fix
build