Problems with sd-card on v1.3 board

1. HW-reset of EspruinoBoard V1.3
   
2. connect to webIDE
   

3. upload this simple application and get a list of files on SD

   var fs = require("fs");
   console.log(fs.readdir());
   

4. upload same 2nd time and get ERROR: Unable to list files : DISK_ERR

5. upload same 3rd time and get ERROR: Unable to mount SD card : NOT_READY

After HW reset, story starts again