| Index: host/lib/host_misc.c
 | 
| diff --git a/host/lib/host_misc.c b/host/lib/host_misc.c
 | 
| index 2620df7a98e444ebdd3e96e20277019c112768c5..d8f52970202ff83e4a9e920453c96d6ddc98fe61 100644
 | 
| --- a/host/lib/host_misc.c
 | 
| +++ b/host/lib/host_misc.c
 | 
| @@ -24,7 +24,7 @@ uint8_t* ReadFile(const char* filename, uint64_t* size) {
 | 
|  
 | 
|    f = fopen(filename, "rb");
 | 
|    if (!f) {
 | 
| -    debug("Unable to open file %s\n", filename);
 | 
| +    VBDEBUG(("Unable to open file %s\n", filename));
 | 
|      return NULL;
 | 
|    }
 | 
|  
 | 
| @@ -39,7 +39,7 @@ uint8_t* ReadFile(const char* filename, uint64_t* size) {
 | 
|    }
 | 
|  
 | 
|    if(1 != fread(buf, *size, 1, f)) {
 | 
| -    debug("Unable to read from file %s\n", filename);
 | 
| +    VBDEBUG(("Unable to read from file %s\n", filename));
 | 
|      fclose(f);
 | 
|      Free(buf);
 | 
|      return NULL;
 | 
| @@ -53,12 +53,12 @@ uint8_t* ReadFile(const char* filename, uint64_t* size) {
 | 
|  int WriteFile(const char* filename, const void *data, uint64_t size) {
 | 
|    FILE *f = fopen(filename, "wb");
 | 
|    if (!f) {
 | 
| -    debug("Unable to open file %s\n", filename);
 | 
| +    VBDEBUG(("Unable to open file %s\n", filename));
 | 
|      return 1;
 | 
|    }
 | 
|  
 | 
|    if (1 != fwrite(data, size, 1, f)) {
 | 
| -    debug("Unable to write to file %s\n", filename);
 | 
| +    VBDEBUG(("Unable to write to file %s\n", filename));
 | 
|      fclose(f);
 | 
|      unlink(filename);  /* Delete any partial file */
 | 
|    }
 | 
| 
 |