maybe use another PHP interpreter