It changed when Teensyduino was updated from version 1.40 to version 1.41.
See bottom of this page. Here is the actual commit on Github.

As far as I know, the option you proposed [saving .hex...