fix s390x build failure on debian due to wrong type casting