Provide a script to reduce the size of the mjwm binary