chg: reference polymake.lib -> oldpolymake.lib