Small fixes for Linux: update Makefile; fix casting void --> int by using 'long' instead; use mdev_now() instead of old mdev_timetag_now()