Issue #814: Add a RPM distribution
Forgot to add new files