it appears that the arm-xilinx-linux-gnueabi- prefixed toolchain has been removed from the vivado SDK as of version 2017.3. More information (not much though) here:
https://forums.xilinx.com/t5/Embedded-Development-Tools/Unable-to-find-full-path-for-quot-arm-xilinx-eabi-gcc-quot/m-p/827476/highlight/true#M44334
It appears that now the arm-linux-gnueabi- prefixed toolchain should be used instead. I'll give it a try and see if it produces a working build.