How to resize a virtualbox vdi on mac