Thanks but I'm having problems with vtk

I'm trying to set up portal reloaded for speedrunning on linux and Livesplit autosplitter doesn't work in wine, even when I import the sar.asl file, so I searched for some other usable timers for linux (llanfair, flitter...) but none of them have an autosplitting feature but I have the sar.asl file so is there any way to run it so it works in flitter or llanfair?