fixed minor issue with build.pl script