use Upstart provider for Ubuntu >= 13.10