compiled on Ubuntu 12.04.5