Add pulse triggers for Ubuntu 13.10 on production (#386)