Little cleanup for linux builds