update php executable for php:lint