Larger buffer length on linux; use recv to get MSG_TRUNC functionality.
Handle short ethernet packet padding in example.rkt