A few php extensions compiled on a heroku server so I don't have to do it everytime