Fix compilation

I have no idea if this pull request will work...