hopefully algorithm2e fix for linux