Есть патч, который частично решает проблему, позволяя закрывать в таких случаях билдер без использования диспетчера задач. К сожалению, не помню его названия. Кажется, он был где-то здесь: http://andy.jgknet.de