Fix #18 : Use of system tmp dir by default