(Rice) Don't need osal_files