I would like to wake up this thread. libslepc3.2-dev is pretty useless without the patch since no program compiles which includes slepc's headers. The patch is easy to apply and seems to have no negative side effects. Please integrate! Best, Ralf