Is there something wrong with the Tools::file_get_contents() method ?