smal fixes for Linux