fix issue #37: non-PIC bug has shown up again