Clean up after Ruby Mine.