Fixed extension on PHP dev opts; removed apt proxy