Workaround for a gcc crash