Fix build failure

username-removed-912465 requested to merge yuki_is_bored/package_manager:fixing-reds into master May 29, 2017