Fix dispatcher on linux