small cleanup for linux