some tweeks to php compilation scripts