filemtime() constant during execution despite changes to file

Try running

<?php
  echo filemtime("test.txt")."\n";
  sleep(4);
  file_put_contents("test.txt", "test");
  echo filemtime("test.txt")."\n";
?>

For me the command line printed:

1343490984
1343490984

That can't be right, can it?