modify for Ubuntu 12.04 build