Fix compilation with Swiften2