fix proximanova inclusion