Temporary (hopefully) workaround to make tests run in gcc.