Core: Fix build with Debian 7.0
Closes #8882