Update setup.php

The timesamp was missing.