Add compatibility with Ubuntu 12.10