make sure we copy the plugin3 file to allow the POSTINST script to run in the rb3 debian package