let unlinkf filename = try unlink filename with _ -> ();;