Hi
As I said, I followed those instructions. I found out that the server was using PHP compiled with OpCache so the cache had to be flushed for it to work correctly.