O script a seguir está retornando na hora errada depois que eu chamodate_default_timezone_set("UTC")

<code><?PHP   
    $timestamp = time();
    echo "<p>Timestamp: $timestamp</p>";

    // This returns the correct time
    echo "<p>". date("Y-m-d H:i:s", $timestamp) ."</p>";


    echo "<p>Now I call 'date_default_timezone_set(\"UTC\")' and echo out the same timestamp.</p>";
    echo "Set timezone = " . date_default_timezone_set("UTC");

    // This returns a time 5 hours in the past
    echo "<p>". date("Y-m-d H:i:s", $timestamp) ."</p>";

?>
</code>

O fuso horário no servidor éBST. Então, o que deve acontecer é que a segunda chamada para 'data' deva retornar uma hora 1 hora após a primeira chamada. Na verdade, está retornando um tempo cinco horas atrás do primeiro.

Devo observar que o servidor foi originalmente configurado com o fuso horário EDT (UTC -4). Isso foi alterado para BST (UTC +1) e o servidor foi reiniciado.

Não consigo descobrir se isso é um problema do PHP ou um problema com o servidor.