clean up temp files

Signed-off-by: Nicholas Tan Jerome <nicholas.jerome@kit.edu>