Fix on linux, remove a debug printf