Adding hall binary and ensuring tmp directory creation