Add definitions for Ubuntu 12.04