work around for gcc bug