rules.mk.in: no need to link to libprop anymore.