resolved Ubuntu 12.04.3 compile error