fix ARM shared libary for RPi (Issue #6)