http://beecoder.org/es/linux/how-to-install-libpolymake-dev-in-linux