Fix some details of build script