Fix complaints from Linux