Tried fixing cwi-swat/rascal#371 , lets see it it also works on unstable