some small fixes under linux