fix small issue in buildsystem