core/gcc fix, fixes #582