CPack now installs the DEB in /opt/mihini instead of /usr, and we don't replace stock versions of lua anymore
postinst & prerm files for debian