Unfortunately, this is still necessary, otherwise the archive libp4est.a gets always installed.