Removed file committed by mistake (?)

@andreaturli Or do we need this?