How to remove premake4 from Debian Unstable (Sid)