~ Installation script: work around Joomla!'s bad use of caching regarding modules and plugins