added workaround for bug in gcc