fixed Makefile: path replacements for libs contain polymake version number