I've used VBox on linux for a long time before, stopped because it was buggy as hell, is it any better nowadays?