Add definitions for Ubuntu 13.10