Clean __NR_read/32 interceptor code