More FlaxEnv compatibility fixes in string formatting operations