Currently, both servers are running Fedora 25, which will reach End Of Life in approximately two months. We should upgrade both servers to f26 as soon as possible, and then upgrade them both to f27 as soon as it is out, in a few weeks.

Steps to upgrade Fedora can be found here. I also wrote a pt_BR version of such guide here

We can close both #80 and #81 when this issue is solved, i.e., when servers are running f27.