Hey there,
Server 3995 seems to be running under the correct settings. Has this issue been solved for you?