Parameter cast for posix_memalign(), otherwise gcc issues an error