proper apt packages for Ubuntu 12.04 #23