RMG: Remove useless 'make distclean', save time
RMG: Use -Dusedevel in ./Configure, like everywhere else in the RMG.
RMG: Show that version'd binaries might be used