I am running php7.2 on my sever. I am aware that the requirements ask for 5.2, but I am unclear on how I am supposed to downgrade. I downloaded the latest version of sourcebans from the official repository.