fix compilation with -property flag