php: initscript fix