Fixes an issue with the tmp library being missing