quick fix for isFFOS in Boot