Small modification to local.php.dist

Change-Id: Ia7add179f6a0ba10bfd990c508c5699152c1de3c