Removed user-specified file

As it is platform-dependent and auto-generated file