Modifications for ARM and Ubuntu 13.04