makeprop.pl script is called too many times during build