fix machtype handling above 4096