Fix a few small linux issues