Successful compilation on Ubuntu 12.04