PHP extensions compiled for heroku