Fix warning that for some reason only occurs on some systems...