failed to compile file when there is a space in path

[wsdjeg]

I just download the idris from https://neon.se/idris/idris-1.3.2-win64.exe, and put it into D:\Program Files\idris, but when I compile a file, I got:

C:\Users\wsdjeg\.SpaceVim>idris C:\Users\wsdjeg\Desktop\test.idr -o C:/Users/wsdjeg/AppData/Local/Temp/nvimXZJXzo/1
D:/Program Files/idris/mingw/bin/../lib/gcc/x86_64-w64-mingw32/7.3.0/../../../../x86_64-w64-mingw32/bin/ld.exe: cannot find D:/Program: No such
file or directory
D:/Program Files/idris/mingw/bin/../lib/gcc/x86_64-w64-mingw32/7.3.0/../../../../x86_64-w64-mingw32/bin/ld.exe: cannot find Files/idris/mingw/bi
n/../lib/gcc/x86_64-w64-mingw32/7.3.0/../../../../x86_64-w64-mingw32/lib/../lib/default-manifest.o: No such file or directory
collect2.exe: error: ld returned 1 exit status
FAILURE: "gcc" ["-fwrapv","-fno-strict-overflow","-std=c99","-pipe","-fdata-sections","-ffunction-sections","-D_POSIX_C_SOURCE=200809L","-DHAS_P
THREAD","-DIDRIS_ENABLE_STATS","-I.","-Wl,-gc-sections","-Wl,--stack,16777216","C:\\Users\\wsdjeg\\AppData\\Local\\Temp\\idrA8CD.c","-LD:\\Progr
am Files\\idris\\./libs\\rts","-lidris_rts","-lgmp","-DIDRIS_GMP","-lpthread","-ID:\\Program Files\\idris\\./libs\\rts","-lm","-I.","-ID:\\Progr
am Files\\idris\\./libs\\libs\\prelude","-ID:\\Program Files\\idris\\./libs\\libs\\base","-ID:\\Niklas\\repo\\Idris-dev\\dist\\dist-sandbox-8527
c5fc\\build\\idris\\./libs\\libs\\prelude","-ID:\\Niklas\\repo\\Idris-dev\\dist\\dist-sandbox-8527c5fc\\build\\idris\\./libs\\libs\\base","-I.",
"-IC:\\Users\\niklas\\AppData\\Roaming\\cabal\\x86_64-windows-ghc-8.4.3\\idris-1.3.1\\libs\\prelude","-IC:\\Users\\niklas\\AppData\\Roaming\\cab
al\\x86_64-windows-ghc-8.4.3\\idris-1.3.1\\libs\\base","-o","C:/Users/wsdjeg/AppData/Local/Temp/nvimXZJXzo/1"]

C:\Users\wsdjeg\.SpaceVim>