Remove useless Vindinium.idr