Added propdev.h header file to installation, did bakefile_gen dance.