Maybe this fixes Linux compilation