Fix new phpdt command line name