Add senchaCoreFile option