fix compilation error due to the removal of the *propertydefaults.hh files

actually, I fixed this yesterday already, but I forgot to commit it...