recovery: specify type for file open handlers