php: executing c from php