2013-07-25: install check on ubuntu 12:04