Build fixes for Ubuntu 12.04.