@MohammadAG OK I've managed to get the pmount source accepted by extras-devel. Problem was an unspecified dependency of libblkid-dev on libuuid1. Unfortunately there is still some debugging code in the 'configure' file in the repository but it doesn't seem worthwhile making another version just to take it out.