[Koha] use of redhat 7.3 instead of debian linux