temporary workaround for a g++ compile issue