I used Benbox when I first got my machine and have since switched to T2 Laser. I believe the updated version of Benbox is called EleksMakerCAD as talked about in this thread http://benboxlaser.us/index.php/topic,1524.0.html
If that does not work for you, I would highly suggest you look at T2 Laser (T2L) or BenCutLaser (BCL). Both are found on this forum under the software section. I use T2L for engraving, but BCL is mainly for cutting. When I plan to cut material, I will be getting BCL. The customer support is excellent for both programs! Ralph (Administrator) developed BenCutLaser and Zax developed T2 Laser.
Another software I have heard about but have only tried for about 5 minutes is LaserWeb3. Some here love it. I have no opinion on it other than it is really slow on a Raspberry Pi 1 Model B
If you are looking at cross platform, LaserWeb3 is your best bet as it is mainly web based. The look and feel in the first 5 minutes is very similar to Benbox without the inability to maximize the window.
Hope this helps.
PS - I found the Google Translate app to be very helpful with the manual, as mine came in Chinese.......