jssc.jss: using switch for extensions