core/gcc fix, fixes #723