WPFileManager not showing

I am using Adminimize successfully to reduce the options less technical people see. It has solved what could have been a big problem. All is well, other than the plugin WPFileManager which I, as an administrator, can see in the menu, but Editors cannot see in their admin menu, even though it is not ticked to be removed in Adminimize. Any thoughts on what the solution might be?

Many thanks

Neil