Overleap/Plotchecker for linux?