fix licensing complaint from Jenkins