Fix #30: close temporary file of "-run" before executing it