fix small bug in build process