/* there must be a better way */
        int* file;
        char* file2;
        /* file is malloc()d with a filesize, then filled with the content of the file */

        file2 = (char*)file;    
        for (i=0; i < strlen(version); i++){
                printf("%c\n", version[i]);
                file2[12+i] = version[i];
        }