It causes issues when I use update.php. I had to give a visit to Github in order to get the missing file.
