Workaround that fixes issue cwi-swat/rascal#552.

See also cwi-swat/rascal#565 for information about the underlying cause.