Install PHP5 only if it was not previously installed on the server.