Corrected name of psql executable