fix permission issues with $TREMA_HOME/tmp directory