Fixed a bug that causes MICROCERN build to fail