Fix some linux building problems