Added hack to activate php extentions during compilation