Ho risolto da solo: spulciando per bene il manuale del Php ho trovato la funzione session_name() che fa esattamente al caso mio.

Grazie comunque a tutti quelli che han letto il mio messaggio!