RHEL 7 would have been an even better choice, though.