How to resize a vdi on mac os x